XOR is addition without carryover - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)

XOR is addition without carryover

$ x + y = x \oplus y + 2(x \otimes y)

XOR is addition without carry-over

---

This page is auto-translated from /nishio/XORは繰り上がりのない足し算. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.